Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

Identification of components in biochemical pathways: extensive application to SBML models

Pardini, Giovanni, Milazzo, Paolo, Maggiolo-Schettini, Andrea
Журнал:
Natural Computing
Рік:
2014
Мова:
english
Файл:
PDF, 487 KB
english, 2014
2

Computable stack functions for semantics of stack programs

Giorgio Germano, Andrea Maggiolo-Schettini
Журнал:
Journal of Computer and System Sciences
Рік:
1979
Мова:
english
Файл:
PDF, 662 KB
english, 1979
3

Processes of transforming structures

Andrea Maggiolo-Schettini, Jozef Winkowski
Журнал:
Journal of Computer and System Sciences
Рік:
1982
Мова:
english
Файл:
PDF, 1.87 MB
english, 1982
4

An algebra of processes

Józef Winkowski, Andrea Maggiolo-Schettini
Журнал:
Journal of Computer and System Sciences
Рік:
1987
Мова:
english
Файл:
PDF, 1.16 MB
english, 1987
5

Sequence recursiveness without cylindrification and limited register machines

Giorgio Germano, Andrea Maggiolo-Schettini
Журнал:
Theoretical Computer Science
Рік:
1981
Мова:
english
Файл:
PDF, 1.02 MB
english, 1981
6

Modeling a solution for a control problem in distributed systems by restrictions

Andrea Maggiolo-Schettini, Horst Wedde, Józef Winkowski
Журнал:
Theoretical Computer Science
Рік:
1981
Мова:
english
Файл:
PDF, 1.61 MB
english, 1981
7

Towards an algebra for timed behaviours

Andrea Maggiolo-Schettini, Józef Winkowski
Журнал:
Theoretical Computer Science
Рік:
1992
Мова:
english
Файл:
PDF, 1.62 MB
english, 1992
8

Automatic Analysis of a Non-Repudiation Protocol

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2005
Мова:
english
Файл:
PDF, 321 KB
english, 2005
10

Timed P Automata

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2009
Мова:
english
Файл:
PDF, 348 KB
english, 2009
12

ε-transitions in Concurrent Timed Automata

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
Журнал:
Information Processing Letters
Рік:
2004
Мова:
english
Файл:
PDF, 192 KB
english, 2004
13

Monotonic hybrid systems

Ruggero Lanotte, Andrea Maggiolo-Schettini
Журнал:
Journal of Computer and System Sciences
Рік:
2005
Мова:
english
Файл:
PDF, 575 KB
english, 2005
14

Design and verification of long-running transactions in a timed framework

Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
Журнал:
Science of Computer Programming
Рік:
2008
Мова:
english
Файл:
PDF, 1.98 MB
english, 2008
15

Weak bisimulation for Probabilistic Timed Automata

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Журнал:
Theoretical Computer Science
Рік:
2010
Мова:
english
Файл:
PDF, 485 KB
english, 2010
16

On disjunction of literals in triggers of statecharts transitions

Andrea Maggiolo-Schettini, Simone Tini
Журнал:
Information Processing Letters
Рік:
2002
Мова:
english
Файл:
PDF, 78 KB
english, 2002
17

A comparison of Statecharts step semantics

Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
Журнал:
Theoretical Computer Science
Рік:
2003
Мова:
english
Файл:
PDF, 371 KB
english, 2003
18

Concurrency in timed automata

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
Журнал:
Theoretical Computer Science
Рік:
2003
Мова:
english
Файл:
PDF, 373 KB
english, 2003
19

Time-based expressivity of time Petri nets for system specification

Antonio Cerone, Andrea Maggiolo-Schettini
Журнал:
Theoretical Computer Science
Рік:
1999
Мова:
english
Файл:
PDF, 3.47 MB
english, 1999
20

Privacy in Real-Time Systems

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2002
Мова:
english
Файл:
PDF, 281 KB
english, 2002
21

Projectable semantics for Statecharts

Andrea Maggiolo-Schettini, Simone Tini
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
1998
Мова:
english
Файл:
PDF, 734 KB
english, 1998
22

Two semantics for Timed Default Concurrent Constraint Programming

Simone Tini, Andrea Maggiolo-Schettini
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
1998
Мова:
english
Файл:
PDF, 1.02 MB
english, 1998
23

Transformations of structures: An algebraic approach

Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Jozef Winkowski
Журнал:
Theory of Computing Systems
Рік:
1981
Мова:
english
Файл:
PDF, 2.12 MB
english, 1981
24

A kernel language for programmed rewriting of (hyper)graphs

Andrea Maggiolo-Schettini, Józef Winkowski
Журнал:
Acta Informatica
Рік:
1996
Мова:
english
Файл:
PDF, 1.28 MB
english, 1996
25

Parametric probabilistic transition systems for system design and analysis

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Журнал:
Formal Aspects of Computing
Рік:
2007
Мова:
english
Файл:
PDF, 258 KB
english, 2007
26

Bisimulations in calculi modelling membranes

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
Журнал:
Formal Aspects of Computing
Рік:
2008
Мова:
english
Файл:
PDF, 786 KB
english, 2008
27

Reachability results for timed automata with unbounded data structures

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Журнал:
Acta Informatica
Рік:
2010
Мова:
english
Файл:
PDF, 717 KB
english, 2010
28

A kernel language for programmed rewriting of (hyper)graphs

Andrea Maggiolo-Schettini, Józef Winkowski
Журнал:
Acta Informatica
Рік:
1996
Мова:
english
Файл:
PDF, 243 KB
english, 1996
30

Spatial P systems

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei
Журнал:
Natural Computing
Рік:
2011
Мова:
english
Файл:
PDF, 500 KB
english, 2011
31

Automatic Analysis of the NRL Pump

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2004
Мова:
english
Файл:
PDF, 348 KB
english, 2004
32

Compositional semantics and behavioral equivalences for P Systems

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
Журнал:
Theoretical Computer Science
Рік:
2008
Мова:
english
Файл:
PDF, 876 KB
english, 2008
35

Compositional semantics of spiking neural P systems

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
Журнал:
The Journal of Logic and Algebraic Programming
Рік:
2010
Мова:
english
Файл:
PDF, 519 KB
english, 2010
36

Spatial Calculus of Looping Sequences

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
Журнал:
Theoretical Computer Science
Рік:
2011
Мова:
english
Файл:
PDF, 741 KB
english, 2011
40

Simulation of Spatial P system models

Barbuti, Roberto, Maggiolo-Schettini, Andrea, Milazzo, Paolo, Pardini, Giovanni
Журнал:
Theoretical Computer Science
Рік:
2014
Мова:
english
Файл:
PDF, 2.11 MB
english, 2014
43

Information flow in hybrid systems

Lanotte, Ruggero, Maggiolo-Schettini, Andrea, Tini, Simone
Журнал:
ACM Transactions on Embedded Computing Systems
Рік:
2004
Мова:
english
Файл:
PDF, 414 KB
english, 2004
44

Component identification in biochemical pathways

Pardini, Giovanni, Milazzo, Paolo, Maggiolo-Schettini, Andrea
Журнал:
Theoretical Computer Science
Рік:
2015
Мова:
english
Файл:
PDF, 1.92 MB
english, 2015
47

Processes in Cause-Effect Systems

Maggiolo-Schettini, Andrea, Matteucci, Gionata
Журнал:
Fundamenta Informaticae
Рік:
1997
Файл:
PDF, 1.30 MB
1997